propositional calculus

from The American Heritage® Dictionary of the English Language, 5th Edition.

• noun The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure.

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun logic propositional logic.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

• noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them